1.2.3.3. alpha.cplusplus.InvalidatedIterator (C++)
Check for use of invalidated iterators.

Examples:

void bad_copy_assign_operator_list1(std::list &L1,
                                    const std::list &L2) {
  auto i0 = L1.cbegin();
  L1 = L2;
  *i0; // warn: invalidated iterator accessed
}